Specifying and Reasoning about Generic Architecture in TCOZ
نویسندگان
چکیده
Formal modeling techniques can be used to define and verify software architectures precisely. This paper applies the recently developed integrated formal specification technique, Timed Communicating Object Z (TCOZ), to the generic software architecture modeling and verification.
منابع مشابه
Specifying and Reasoning Generic Architecture in TCOZ
Formal modeling techniques can be used to define and verify software architectures precisely. This paper applies the recently developed integrated formal specification techniques, Timed Communicating Object Z (TCOZ), to the generic software architecture modeling and verification.
متن کاملFuture study of Description System Architecture Approaches with Emphasis on Strategic Management
Systems Architecture is a generic discipline to handle objects (existing or to be created) called systems, in a way that supports reasoning about the structural properties of these objects. Systems Architecture is a response to the conceptual and practical difficulties of the description and the design of complex systems. Systems Architecture is a generic discipline to handle objects (existin...
متن کاملNetwork Topology and a Case Study in TCOZ
Object-Z is strong in modeling the data and operations of complex systems. However, it is weak in specifying real-time and concurrent systems. The Timed Communicating Object-Z (TCOZ) extends Object-Z notation with Timed CSP's constructs. TCOZ is particularly well suited for specifying complex systems whose components have their own thread of control. This paper demonstrates expressiveness of th...
متن کاملMulti-agent System Specification Using TCOZ
TCOZ is a specification language that combines the strengths of Object-Z and Timed CSP with the goal of specifying distributed systems containing objects that act independently and concurrently. Such goals are similar to the goals of the autonomous agent paradigm, in which agents are entities in an environment that act independently of one another, concurrently, and work proactively to achieve ...
متن کاملAnalyzing and Specifying the Mechanism of Temporary Landscape
Although it has physical effects, temporary landscape as a new issue provides various potentialas a place events that can’t be ignored because of wide range effects on promoting and upgrading the quality ofspace. The purpose of this study is to analyze the status and mechanism of temporary landscape. As a basic andpractical research, it is done by using the correlation method and descriptive-an...
متن کامل